منابع مشابه
Comparing Justified and Common Knowledge
What is public information in a multi-agent logic of knowledge such as Tn, S4n or S5n? Traditionally this notion has been captured by common knowledge, which is an epistemic operator Cφ given roughly
متن کاملAutomatic proof search in logic of justified common knowledge
We consider the logic of justified common knowledge S4n introduced in [Artemov, 2004]. This system captures the notion of justified common knowledge, which is free of some of the deficiencies of the usual common knowledge operator, and yet sufficient for analysis of epistemic problems where common knowledge has been traditionally applied. In particular, S4n enjoys cut-elimination, which opens a...
متن کاملJustified Knowledge is Sufficient
Three formal approaches to public knowledge are “any fool” knowledge by McCarthy (1970), Common Knowledge by Halpern and Moses (1990), and Justified Knowledge by Artemov (2004). We compare them to mathematically address the observation that the light-weight systems of Justified Knowledge and ‘any fool knows’ suffice to solve standard epistemic puzzles for which heavier solutions based on Common...
متن کاملSelf-referentiality of Justified Knowledge
The language of justification logic makes it possible to define what it means for knowledge/belief described by an epistemic modality to be self-referential. Building on an earlier result that S4 and its justification counterpart LP describe knowledge that is self-referential, we show that the same is true for K4, D4, and T with their justification counterparts, whereas for K and D self-referen...
متن کاملIs knowledge justified true belief?
Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.03.009